$\forall$$a$, $b$:$\mathbb{Z}$. ({-}($a$ $\ast$ $b$)) = (({-}$a$) $\ast$ $b$)